Automated Black-Box Test Case Generation for MC/DC with SAT
نویسندگان
چکیده
منابع مشابه
SAT Based Automated Test Case Generation For MUMCUT Coverage
MUMCUT is a criterion for testing Boolean specifications. The traditional test case generation methods for this problem are based on approximate approaches. The efficiency of these algorithms depend on the designers’ experience on this coverage. In this paper, the authors apply SAT based method to solve this problem. Two SAT solvers, walksat and zChaff, are employed to generate approximate and ...
متن کاملAutomated Test Data Generation with SAT
We present a novel technique for automatically generating a suite of test inputs to an objectoriented procedure. The suite is guaranteed to kill all mutant procedures produced from a given catalog of mutation operators, so long as those mutants could be detected by some test within userprovided bounds. Our test input generator constructs a mutationparameterized version of the procedure, whos...
متن کاملA Constraint-Based Framework for Test Case Generation in Method-Level Black-Box Unit Testing
Automatic test case execution in test-driven development provides an excellent return on investment. However, test cases in test-driven development are usually designed manually. Manual acquisition of test cases is laborious, time-consuming, and error-prone. Model-based testing is a technique to automatically generate test cases from software models. Model-based test-driven development provides...
متن کاملAutomated Test Case Generation using Petri Nets
Software testing is the process of determining the precision, quality, completeness and security of the software systems. An important step in testing software is the generation of test cases, whose quality plays a vital role in determining the time for testing and subsequently its cost. In this research, it is shown that both structural and behavioural diagrams can be used to represent specifi...
متن کاملAutomated Test Case Generation from Dynamic Models
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including preand postconditions. The resulting state charts can have transitions with conditions and actions, as well as nested states (sub and stub states). The current paper outlines how test suites with a given coverage level can be ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The KIPS Transactions:PartD
سال: 2009
ISSN: 1598-2866
DOI: 10.3745/kipstd.2009.16d.6.911